FORMALIZATION OF DATA SPACE USING THE ALGEBRAIC SYSTEM
نویسندگان
چکیده
منابع مشابه
Formalization of UML Using Algebraic Specifications
iii Acknowledgements First of all, I would like to thank all the people who helped me in the development of this thesis. Thank you! ;-) I would like to thank my advisors Annya Romanczuk-Réquilé and Jean-Claude Royer for the great support devoted to me during the whole process of this thesis work. It is very important and helpful for me that we can have a technical meeting once a week or two wee...
متن کاملassessment of the efficiency of s.p.g.c refineries using network dea
data envelopment analysis (dea) is a powerful tool for measuring relative efficiency of organizational units referred to as decision making units (dmus). in most cases dmus have network structures with internal linking activities. traditional dea models, however, consider dmus as black boxes with no regard to their linking activities and therefore do not provide decision makers with the reasons...
metrics for the detection of changed buildings in 3d old vector maps using als data (case study: isfahan city)
هدف از این تحقیق، ارزیابی و بهبود متریک های موجود جهت تایید صحت نقشه های قدیمی سه بعدی برداری با استفاده از ابر نقطه حاصل از لیزر اسکن جدید شهر اصفهان می باشد . بنابراین ابر نقطه حاصل از لیزر اسکنر با چگالی حدودا سه نقطه در هر متر مربع جهت شناسایی عوارض تغییر کرده در نقشه های قدیمی سه بعدی استفاده شده است. تمرکز ما در این تحقیق بر روی ساختمان به عنوان یکی از اصلی ترین عارضه های شهری می باشد. من...
TDIS : an Algebraic Formalization
In the light of the success of Top-Down Induction Systems (TDIS), the problems to be addressed concern the structure of descriptions and the exploration of strategies. This paper introduces a formal model to describe TDIS, based on the use of lattice theory and, more precisely, on the use of a Galois connection. One of the advantages of this formalization is that it justifies the extensive use ...
متن کاملthe use of appropriate madm model for ranking the vendors of mci equipments using fuzzy approach
abstract nowadays, the science of decision making has been paid to more attention due to the complexity of the problems of suppliers selection. as known, one of the efficient tools in economic and human resources development is the extension of communication networks in developing countries. so, the proper selection of suppliers of tc equipments is of concern very much. in this study, a ...
15 صفحه اولذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Radio Electronics, Computer Science, Control
سال: 2010
ISSN: 2313-688X,1607-3274
DOI: 10.15588/1607-3274-2010-1-19